High-level circuit design
نویسندگان
چکیده
We present two new ways to implement ordinary programs with logic gates. One, like imperative programs, has an associated memory to store state; the other, like functional programs, passes the state from one component to the next. Application-specific circuit design can be done more effectively by using a standard programming language to describe the function that a circuit is intended to perform, rather than by describing a circuit that is intended to perform that function. The resulting circuits are produced automatically; they behave according to the programs, and have the same structure as the programs. For timing, we use local delays, rather than a global clock or local handshaking. We give a formal semantics for both programs and circuits in order to prove our circuits correct. By simulation, we also demonstrate that the circuits perform favorably compared to others. 18.
منابع مشابه
Power Supply and Current Modulation Circuits for Semiconductor Lasers
Design and construction of a stable current supply with protection circuits are described. The reported circuit provides a high-stable and high-level current variable from 0.5-1.2 A with the protect ion circuits to prevent over load current, voltage and off-range temperature operation. A detailed analysis of the circuit parameters is given and the time behaviors of the load voltage/current and ...
متن کاملFault Tolerant Reversible QCA Design using TMR and Fault Detecting by a Comparator Circuit
Quantum-dot Cellular Automata (QCA) is an emerging and promising technology that provides significant improvements over CMOS. Recently QCA has been advocated as an applicant for implementing reversible circuits. However QCA, like other Nanotechnologies, suffers from a high fault rate. The main purpose of this paper is to develop a fault tolerant model of QCA circuits by redundancy in hardware a...
متن کاملDesign of an Efficient Circuit for Data Rate Configuration in Power Amplifier Dedicated to Wireless Medical Applications
This paper presents a new circuit to configure power amplifier (PA) for return-to-zero on-off-keying (RZ-OOK) transmitters. The proposed PA works as a multimode structure with configurable data rate and output power. The programmable data rate function is achieved by duty cycle adjustment of input data and producing input RZ-data by a simple circuit, which leads to a linear scale of data rate w...
متن کاملDesign and Construction of a Sensorless Circuit for Brushless DC Motor using Third Harmonic back Electromotive Force
In this paper the method of sensorless startup of direct current brushless motor using third harmonic back Electromotive Force (EMF) and motor startup using microcontroller for pulse width modulation, power switch control and motor output analysis is presented which renders RPM control and high speed achievement for motor. The microcontroller is used for processor and MOSFETs are used for power...
متن کاملFault Tolerant Reversible QCA Design using TMR and Fault Detecting by a Comparator Circuit
Quantum-dot Cellular Automata (QCA) is an emerging and promising technology that provides significant improvements over CMOS. Recently QCA has been advocated as an applicant for implementing reversible circuits. However QCA, like other Nanotechnologies, suffers from a high fault rate. The main purpose of this paper is to develop a fault tolerant model of QCA circuits by redundancy in hardware a...
متن کاملDesign of a low power high speed 4-2 compressor using CNTFET 32nm technology for parallel multipliers
In this article a low power and low latency 4-2 compressor has been presented. By using modified truth table and Pass Transistor Logic (PTL) a novel structure has been proposed which outperforms previous designs from the frequency of operation view point. The proposed design method has reduced the total transistor count considerably which will lead to reduced power consumption and smaller activ...
متن کامل